#! /bin/bash -x
make SHELL='/bin/bash -x'
